Designing an Interactive Stack
نویسنده
چکیده
We design an interactive stack in the setting of stream processing functions. The design passes through a series of abstraction levels relating different views of the stack component. The external view describes the component’s input/output behaviour, the transition view captures the stepwise transitions, and the state-based view discloses the internal structure. The different descriptions can systematically be derived from the input/output behaviour following sound transformation rules. The case study exemplifies general methods for the specification and refinement of interactive components. Key-Words: Interactive stack, stream processing, communication history, component: interface, specification, behaviour and refinement
منابع مشابه
Velocity Inversion with an Iterative Normal Incidence Point (NIP) Wave Tomography with Model-Based Common Diffraction Surface (CDS) Stack
Normal Incidence Point (NIP) wave tomography inversion has been recently developed to generate a velocity model using Common Reflection Surface (CRS) attributes, which is called the kinematic wavefield attribute. In this paper, we propose to use the model based Common Diffraction Surface (CDS) stack method attributes instead of data driven Common Reflection Surface attributes as an input data p...
متن کاملA MHP Receiver over RT-Linux for Digital TV
The growth of interactive digital TV heralds a seamless convergence of media, telecommunications, and information technology, offering viewers increasingly exciting and interactive programming. The need of standardization in this field led DVB to head the regula tor project, defining standards for digital video broadcasting and interactive services in all transmission networks, and recently for...
متن کاملAn Interactive Possibilistic Programming Approach to Designing a 3PL Supply Chain Network Under Uncertainty
The design of closed-loop supply chain networks has attracted increasing attention in recent decades with environmental concerns and commercial factors. Due to the rapid growth of knowledge and technology, the complexity of the supply chain operations is increasing daily and organizations are faced with numerous challenges and risks in their management. Most organizations with limited resources...
متن کاملAn Experimental and Theoretical Investigation of Corrosion Mechanism in a Metallic Stack
This paper presents an experimental and theoretical investigation of the causes of corrosion of stack in a cement plant. In this paper, information related to metallic stack failures are given in the form of a case study in Neka Cement Plant, Mazandaran, Iran. Heavy corrosion attacks were observed on the samples of stack. The failure can be caused by one or more modes such as overheating, stres...
متن کاملDesign of Statistically Optimal Stack Filters
Any gray-scale image can be represented as a \stack" of a decreasing sequence of binary images, obtained by thresholding the gray-scale image at each level. Stack lters are a special class of gray-scale image operators whose ltered images can be represented as the stack of binary images resulting of applying an increasing binary operator for each image of the stack. A classical example of stack...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002